Nuprl Definition : d-single-sends
11,40
postcript
pdf
@
i
: with declarations ds:
ds
da:
da
k
(v) sends
f
s v on link
l
(
j
)
== if eqof(IdDeq)(
j
,
i
) then with declarations ds:
ds
da:
da
k
(v) sends
f
s v on link
l
else fi
latex
Definitions
,
with declarations ds:
ds
da:
da
k
(v) sends
f
s v on link
l
,
IdDeq
,
eqof(
d
)
,
if
b
then
t
else
f
fi
FDL editor aliases
d-single-sends
origin